The structure of decidable locally finite varieties
نویسندگان
چکیده
منابع مشابه
A Characterization of Decidable Locally Finite Varieties
We describe the structure of those locally finite varieties whose first order theory is decidable. A variety is a class of universal algebras defined by a set of equations. Such a class is said to be locally finite if every finitely generated member of the class is finite. It turns out that in order for such a variety to have a decidable theory it must decompose into the varietal product of thr...
متن کاملThe Structure of Locally Finite Varieties with Polynomially Many Models
In this paper, variety means a class of similar algebras—i.e., models of one firstorder language without relation symbols—which is defined by the satisfaction of some fixed sets of equations. A variety is locally finite if all of its finitely generated members are finite. Following J. Berman and P. Idziak [2], the G-spectrum, or generative complexity, of a locally finite variety C, is the funct...
متن کاملCongruence semimodular varieties I: Locally finite varieties
The lattice of closed subsets of a set under such a closure operator is semimodular. Perhaps the best known example of a closure operator satisfying the exchange principle is the closure operator on a vector space W where for X ___ W we let C(X) equal the span of X. The lattice of C-closed subsets of W is isomorphic to Con(W) in a natural way; indeed, if Y _~ W x W and Cg(Y) denotes the congrue...
متن کاملA Characterization of Minimal Locally Finite Varieties
In this paper we describe a one–variable Mal′cev–like condition satisfied by any locally finite minimal variety. We prove that a locally finite variety is minimal if and only if it satisfies this Mal′cev–like condition and it is generated by a strictly simple algebra which is nonabelian or has a trivial subalgebra. Our arguments show that the strictly simple generator of a minimal locally finit...
متن کاملLocally finite varieties of Heyting algebras
We show that for a variety V of Heyting algebras the following conditions are equivalent: (1) V is locally finite; (2) the V-coproduct of any two finite V-algebras is finite; (3) either V coincides with the variety of Boolean algebras or finite V-copowers of the three element chain 3 ∈ V are finite. We also show that a variety V of Heyting algebras is generated by its finite members if, and onl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1991
ISSN: 0001-8708
DOI: 10.1016/0001-8708(91)90030-b